propositional logic, propositional calculus -- (a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them)
dictionary, definition of, free online dictionary, online dictionary, English dictionary, dict, diction, dictonary, glossary, define, definitions, meaning, word of the day, spelling, pronunciation, dictio, dictiona, dic, dicti, dictionar